$\forall$$p$, $q$:$\mathbb{B}$. ($\uparrow$$p$ =b $q$) $\Leftarrow\!\Rightarrow$ ($p$ = $q$)